And: If(left, right, false)

type Implementation function And composition

If(left, right, false)

type Function call function If condition

left

type Argument reference reference Z10044K1

then

right

type Argument reference reference Z10044K2

else false